From c74aefc8bd99c093e815203df280511ff63162d2 Mon Sep 17 00:00:00 2001 From: "lynx@idefix.cl.cam.ac.uk" Date: Wed, 25 Dec 2002 10:24:50 +0000 Subject: [PATCH] bitkeeper revision 1.7.3.45 (3e098772qQl7V_IMM-bJ8HyZHkxFHQ) debug --- xen-2.4.16/common/memory.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/xen-2.4.16/common/memory.c b/xen-2.4.16/common/memory.c index 4de8d138db..cac09b23d6 100644 --- a/xen-2.4.16/common/memory.c +++ b/xen-2.4.16/common/memory.c @@ -1,5 +1,4 @@ - /****************************************************************************** * memory.c * @@ -450,6 +449,9 @@ static void put_page(unsigned long page_nr, int writeable) (page_type_count(page) == 0))); } + if(!((!writeable) || (page_type_count(page) != 0))) + printk("bd240 debug: put_page failed ASSERT: page num %lx\n", page_nr); + ASSERT((!writeable) || (page_type_count(page) != 0)); if ( writeable && (put_page_type(page) == 0) ) page->flags &= ~PG_type_mask; -- 2.30.2